Modus ponens

Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Begrundelsen kan findes på diskussionssiden eller i artikelhistorikken. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet (marts 2018) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked)

Modus ponens er navnet på en syllogisme indenfor klassisk logik.

I naturligt sprog:

Hvis P, så Q

P er Sand

Ergo, Q er Sand

I formel logik (sætningslogik):

${\displaystyle p\rightarrow q}$,

${\displaystyle p\quad }$

${\displaystyle \vdash q}$